Rob Hierons : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (21)
Les plus populaires
Liste
- Liste
- Tableau

1

Machine learning. Tom M. Mitchell. Published by McGraw-Hill, Maidenhead, U.K., International Student Edition, 1997. ISBN: 0-07-115467-1, 414 pages. Price: U.K. £22.99, soft cover.

Journal:

Software Testing, Verification and Reliability

Année:

1999

Langue:

english

Fichier:

PDF, 27 KB

english, 1999

2

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)

Kalaji, AbdulSalam, Hierons, Rob Mark, Swift, Stephen

Année:

2009

Langue:

english

Fichier:

PDF, 220 KB

english, 2009

3

String Generation for Testing Regular Expressions

Zheng, Lixiao, Ma, Shuai, Wang, Yuanyang, Lin, Gang, Hierons, Rob

Journal:

The Computer Journal

Année:

2019

Langue:

english

Fichier:

PDF, 2.14 MB

english, 2019

4

Correct systems: building a business process solution. By Mike Holcombe and Florentin Ipate. Published by Springer-Verlag, Berlin, Germany, Applied Computing Series 1998. ISBN: 3-540-76246-9, 206 pages. Price: U.K. £24.50, U.S.A. $49.95, Germany DM 79.00, Soft Cover.

Journal:

Software Testing, Verification and Reliability

Année:

1999

Langue:

english

Fichier:

PDF, 23 KB

english, 1999

5

Editorial

Journal:

Software Testing, Verification and Reliability

Année:

1999

Langue:

english

Fichier:

PDF, 14 KB

english, 1999

6

Using program slicing to assist in the detection of equivalent mutants

Rob Hierons, Mark Harman, Sebastian Danicic

Journal:

Software Testing, Verification and Reliability

Année:

1999

Langue:

english

Fichier:

PDF, 211 KB

english, 1999

7

Editorial: special issue on specification-based testing

Rob Hierons, John Derrick

Journal:

Software Testing, Verification and Reliability

Année:

2000

Langue:

english

Fichier:

PDF, 27 KB

english, 2000

8

Testing Object-Oriented Software: Life-Cycle Solutions. By Imran Bashir and Amrit L. Goel. Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 0-387-98896-3, 209 pages. Price: U.K. £37, U.S.A. $54.95, Germany DM 108, Hard Cover.

Journal:

Software Testing, Verification and Reliability

Année:

2000

Langue:

english

Fichier:

PDF, 16 KB

english, 2000

9

Specification based testing

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 161 KB

english, 2000

10

Equivalence of conservative, free, linear program schemas is decidable

Michael R. Laurence, Sebastian Danicic, Mark Harman, Rob Hierons, John Howroyd

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 312 KB

english, 2003

11

Conditioned slicing supports partition testing

Rob Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi

Journal:

Software Testing, Verification and Reliability

Année:

2002

Langue:

english

Fichier:

PDF, 86 KB

english, 2002

12

Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30-September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 3-540-41030-9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover.

Journal:

Software Testing, Verification and Reliability

Année:

2001

Langue:

english

Fichier:

PDF, 52 KB

english, 2001

13

Editorial: Formal methods and testing

Journal:

Software Testing, Verification and Reliability

Année:

2002

Langue:

english

Fichier:

PDF, 50 KB

english, 2002

14

Editorial: Software testing in the United Kingdom

John Clark, Mark Harman, Rob Hierons

Journal:

Software Testing, Verification and Reliability

Année:

2004

Langue:

english

Fichier:

PDF, 49 KB

english, 2004

15

A Tribute to Martin Woodward

Lee White, Jeff Offutt, Derek Yates, Rob Hierons, Michael Hennell, Peter Mitchell

Journal:

Software Testing, Verification and Reliability

Année:

2006

Langue:

english

Fichier:

PDF, 93 KB

english, 2006

16

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time

Sebastian Danicic, Mark Harman, Rob Hierons, John Howroyd, Michael R. Laurence

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 379 KB

english, 2007

17

[ACM Press the 13th Eurpoean conference - Zurich, Switzerland (2006.09.20-2006.09.22)] Proceedings of the 13th Eurpoean conference on Cognitive ergonomics trust and control in complex socio-technical systems - ECCE '06 - Programmer's mood and their performance

Khan, Iftikhar Ahmed, Hierons, Rob M., Brinkman, Willem-Paul

Année:

2006

Langue:

english

Fichier:

PDF, 44 KB

english, 2006

18

[ACM Press Fourth international workshop - Dubrovnik, Croatia (2007.09.03-2007.09.04)] Fourth international workshop on Software quality assurance in conjunction with the 6th ESEC/FSE joint meeting - SOQUA '07 - Refactoring test suites versus test behaviour

Counsell, Steve, Hierons, Rob M.

Année:

2007

Langue:

english

Fichier:

PDF, 114 KB

english, 2007

19

Editorial

Journal:

Software Testing, Verification and Reliability

Année:

2016

Langue:

english

Fichier:

PDF, 26 KB

english, 2016

20

Special section of Tests and Proofs 2016

Aichernig, Bernhard K., Furia, Carlo A., Gaudel, Marie-Claude, Hierons, Rob

Journal:

Formal Aspects of Computing

Année:

2018

Langue:

english

Fichier:

PDF, 291 KB

english, 2018

21

Integrating Context to Preferences and Goals for Goal-oriented Adaptability of Software Systems

Botangen, Khavee Agustus, Yu, Jian, Yeap, Wai Kiang, Sheng, Quan Z, Hierons, Rob

Journal:

The Computer Journal

Année:

2020

Fichier:

PDF, 6.31 MB

2020